intertheoretic reduction

理论间还原